Example 3.3.5
For every compact connected Hausdorff space there exists a surjective group homomorphism which satisfies .
If is contractible, then the map is an isomorphism.